direct product of modules

模的直積